1701. Sets, logic and categories
پدیدآورنده : Cameron, Peter Jephson, 7491-
کتابخانه: (طهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C25S4
1702. Sets, logic, and categories
پدیدآورنده : Cameron, Peter J.)Peter Jephson(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1998
1703. Sets, logic, and categories
پدیدآورنده : Cameron, Peter Jephson
کتابخانه: (سمنان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C3S4
1704. Sets, models and recursion theory : Proceeding of the Summer School in Mathematical Logic and of the Tenth Logic Colloquium, Leicester, August-September, 1965
پدیدآورنده : Edited by John N. Crossley
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S847
1705. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
پدیدآورنده : Edited by John N. Crossley
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S86
1965
1706. Simple relation algebras
پدیدآورنده : Givant, Steven Roger, 3491-
کتابخانه: (طهران)
موضوع : ، Algebra,، Logic, Symbolic and mathematical
رده :
QA
10
.
3
.
G58S5
1707. Simplicity theory /
پدیدآورنده : Byunghan Kim.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Model theory.
رده :
QA9
.
7
.
K56
2014eb
1708. Simply logical: intelligent reasoning by example
پدیدآورنده : Flach, Peter A.
کتابخانه: مكتبة, ومركز المعلومات ومركز الوثائق العلمية لمركز بحوث الحوزة والجامعة (قم)
موضوع : Data Processing ، Reasoning,، Logic, Symbolic And Mathematical,، Artifical Intelligence,، Prolag ) Computer Program Language(
رده :
Q
335
.
F58
1994
1709. Simply logical : intelligent reasoning by example
پدیدآورنده : Peter Flach
موضوع : Artificial intelligence,Reasoning - Data processing,Logic, Symbolic and mathematical,Prolog (Computer program language)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1710. Six papers in logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
3
.
A572
ser
.
2
vol
.
135
1711. Soft Computing for Knowledge Discovery
پدیدآورنده : by James G. Shanahan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
1712. Solvability, provability, definability :
پدیدآورنده : Martin Davis, editor
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Post, Emil Leon,1897-1954,Logic, Symbolic and mathematical
رده :
QA3
.
P78
1994
1713. Solvability, provability definability : The collected works of Emil L. Post
پدیدآورنده : Post, Emil Leon, 7981-4591
کتابخانه: (طهران)
موضوع : ، Post, Emil Leon, 7981-4591,، Logic, Symbolic and mathematical
رده :
QA
3
.
P68
1714. Solvability, provability, definability : the collected works of Emil L. Post
پدیدآورنده : Post, Emil Leon
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Post, Emil Leon, 7981-4591,، Logic, Symbolic and mathematical
رده :
QA
3
.
P78
1993
1715. Solvable cases of the decision problem
پدیدآورنده : Ackermann, Wilhelm
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
A3
1716. Solving higher-order equations: from logic to programming
پدیدآورنده : Prehofer, Christian
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
.
P74
1997
1717. Something to reckon with :
پدیدآورنده : George Englebretsen ; with a foreword by Fred Sommers
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Language and logic,Logic, Symbolic and mathematical
1718. Sorts and types in artificial intelligence
پدیدآورنده : K.H. Blغasius, U. Hedtstغuck, C.-R. Rollinger, eds.
موضوع : Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
1719. Sorts and types in artificial intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989 : Proceedings
پدیدآورنده : K. H. Blasius, U. Hedtstuck, C.-R. Rollinger )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
418
1720. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده : K.H. Blasius, U. Hedtstuck, C.-R. Rollinger, eds
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
رده :
Q
334
.
S63
1990
